1. .....................
پدیدآورنده : Genzburg, Abraham..
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Machine theory,، Automata
رده :
QA
266
.
G52
1968
2. .....................
پدیدآورنده : )by( E.F. Codd
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Sequential machine theory,، Automata
رده :
QA
267
.
5
.
S4
C6
3. .....................
پدیدآورنده : Unger, Stephen H
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Switching theory,Sequential machine theory
رده :
TK
7868
.
S9
U5
4. .....................
پدیدآورنده : Starke, peter H
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Machine theory
رده :
QA
267
.
S6913
5. .....................
پدیدآورنده : Azaria Paaz
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Sequential machine theory,، Markov processes
رده :
QA
267
.
5
.
S4
P3
6. .....................
پدیدآورنده : Engeler, Erwin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
رده :
QA
267
.
5
.
S4
E53
7. .....................
پدیدآورنده : ]edited by Jerome Fox[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Computer - Congresses,Machine theory - Congresses
رده :
TK
7885
.
S9
1971
8. .....................
پدیدآورنده : Yan, Song Y.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
Y36
1998
9. <A> Half-Century of Automata Theory
پدیدآورنده : \ editors, A. Salomaa, D. Wood, S. Yu.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Algebra,جبر, -- Congresses, -- کنگرهها,a04,a04,Machine theory -- Congresses.,نظریه ماشین -- کنگره ها
رده :
E-Book
,
10. A concise introduction to languages and machines
پدیدآورنده : Parkes, Alan.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
P36
2008
11. A course in formal languages, automata and groups
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal languages. ; Machine theory. ; Group theory. ;
12. A course in formal languages, automata and groups
پدیدآورنده : / Ian M. Chiswell
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Formal languages,Machine theory,Group theory
رده :
E-BOOK
13. A course in formal languages, automata and groups
پدیدآورنده : Chiswell, Ian
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Formal languages,، Machine theory,، Group theory
رده :
QA
267
.
3
.
C45
2009
14. A second course in formal languages and automata theory
پدیدآورنده : / Jeffrey Shallit
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Formal languages,Machine theory
رده :
E-BOOK
15. A text book of Theory of Machines
پدیدآورنده : R.K Bansal
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Machine theory, Congresses
رده :
621
,.
8
,
B36
,
2002
16. Abstract State Machines, Alloy, B, TLA, VDM, and Z
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine learning -- Congresses,Machine theory -- Congresses,Machine learning,فراگیری ماشینی -- کنگرهها,نظریه ماشین -- کنگرهها,فراگیری ماشینی
رده :
E-Book
,
17. Abstract automata
پدیدآورنده : Starke, Peter H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory
رده :
QA
267
.
S6913
18. Abstract automata
پدیدآورنده : [by] Peter H. Starke, [translated from the German by I. Shepherd]
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (تهران)
موضوع : Machine theory
رده :
QA
,
267
,.
S6913
19. Abstract computing machines :
پدیدآورنده : / W. Kluge
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Machine theory,Lambda calculus
رده :
E-BOOK
20. Abstract machine models for highly parallel computers
پدیدآورنده : edited by John R. Davy and Peter M. Dew
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Parallel computers , Machine theory
رده :
QA
76
.
58
.
A22
1995